$\forall$$L$:Realizer List, $A$:Realizer. ($A$ $\in$ $L$) $\Rightarrow$ $A$ $\subseteq$ $\oplus$($L$)